max = 1e6;
relation3 = IA_Relation_Dummy();
success = 1;
wb=waitbar(0,'Please wait...');
for i = 1:max
  waitbar(i/max, wb);
  relation1 = IA_Relation_From_Number(floor(rand()*(2^13-1)));
  relation2 = IA_Relation_From_Number(floor(rand()*(2^13-1)));
    
  constraint1 = IA_Relation_Constraints(relation1, relation2, relation3);
  constraint2 = IA_Relation_Constraints_Hogge(relation1, relation2, relation3);

  if ~IA_Relation_Is_Equal(constraint1, constraint2)
    success = 0;
    break;
  end
end
close(wb);